Mean Field Theory in Doing Logic Programming Using Hopfield Network
نویسندگان
چکیده
منابع مشابه
Upgrading Logic Programming in Hopfield Network
The convergence property for doing logic programming in Hopfield network can be accelerated by using new relaxation method. This paper shows that the performance of the Hopfield network can be improved by using a relaxation rate to control the energy relaxation process. The capacity and performance of these networks is tested by using computer simulations. It was proven by computer simulations ...
متن کاملKernel Machine to Doing Logic Programming In Hopfield Network for Solve Non Horn Problem-3SAT
A neural network which is recognized as artificial neural network is a mathematical model or computational model that tries to simulate the structure and functional aspect of biological neural networks. It can solve complicated recognition solve optimization problems and analysis problems. It is because it composed of huge amount of interconnected neurons to solve specific problems [1]. Hopfiel...
متن کاملDeveloping Agent Based Modelling for Doing Logic Programming in Hopfield Network
In recent studies on artificial intelligence, logic program occupies a significant position because of its attractive features. Neural networks are dynamic systems in the learning and training phase of their operation and convergence is an essential feature, so it is necessary for the researchers developing the models and their learning algorithms to find a provable criterion for convergence in...
متن کاملVLSI Circuit Configuration Using Satisfiability Logic in Hopfield Network
Very large scale integration (VLSI) circuit comprises of integrated circuit (IC) with transistors in a single chip, widely used in many sophisticated electronic devices. In our paper, we proposed VLSI circuit design by implementing satisfiability problem in Hopfield neural network as circuit verification technique. We restrict our logic construction to 2-Satisfiability (2-SAT) and 3Satisfiabili...
متن کاملDoing Argumentation Theory in Modal Logic
The present paper applies well-investigated modal logics to provide formal foundations to specific fragments of argumentation theory. This logic-driven analysis of argumentation allows: first, to systematize several results of argumentation theory reformulating them within suitable formal languages; second, to import several techniques (calculi, model-checking, evaluation games, bisimulation ga...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Modern Applied Science
سال: 2015
ISSN: 1913-1852,1913-1844
DOI: 10.5539/mas.v10n1p154